Computer Science / Formal Semantics / Model Transformation / Automation / Unified Modelling Language / Temperature measurement / Software Product Line / Digital System Testing / Coolants / Temperature measurement / Software Product Line / Digital System Testing / Coolants